Functional Quantum Programming
نویسندگان
چکیده
It has been shown that non-determinism, both angelic and demonic, can be encoded in a functional language in different representation of sets. In this paper we see quantum programming as a special kind of non-deterministic programming where negative probabilities are allowed. The point is demonstrated by coding two simple quantum algorithms in Haskell. A monadic style of quantum programming is also proposed. Programs are written in an imperative style but the programmer is encouraged to think in terms of values rather than quantum registers.
منابع مشابه
Stability of additive functional equation on discrete quantum semigroups
We construct a noncommutative analog of additive functional equations on discrete quantum semigroups and show that this noncommutative functional equation has Hyers-Ulam stability on amenable discrete quantum semigroups. The discrete quantum semigroups that we consider in this paper are in the sense of van Daele, and the amenability is in the sense of Bèdos-Murphy-Tuset. Our main result genera...
متن کاملQuantum mechanical investigation of 4-hydroxy phenyl azobenzene adsorption on the boron nitride nanotubes
In this study, the adsorption of 4-hydroxy phenyl-azobenzene on the surface of (4, 0) zigzag open-end boron nitride nanotube (BNNT) has been investigated by quantum calculations. In order to find the preferred adsorption site, different positions and orientations were considered. The impacts of donor-acceptor electron delocalization on the structural and electronic properties and reactivity of ...
متن کاملQuantum mechanical investigation of 4-hydroxy phenyl azobenzene adsorption on the boron nitride nanotubes
In this study, the adsorption of 4-hydroxy phenyl-azobenzene on the surface of (4, 0) zigzag open-end boron nitride nanotube (BNNT) has been investigated by quantum calculations. In order to find the preferred adsorption site, different positions and orientations were considered. The impacts of donor-acceptor electron delocalization on the structural and electronic properties and reactivity of ...
متن کاملFunctional framework for representing and transforming quantum channels
We develop a framework which aims to simplify the analysis of quantum states and quantum operations by harnessing the potential of function programming paradigm. We show that the introduced framework allows a seamless manipulation of quantum channels, in particular to convert between different representations of quantum channels, and thus that the use of functional programming concepts facilita...
متن کاملA Compiler for a Functional Quantum Programming Language
We introduce a compiler for the functional quantum programming language QML [1], developed in Haskell. The compiler takes QML expressions as input and outputs a representation of quantum circuits (via the category FQC of finite quantum computations) which can be simulated by the simulator presented here, or by using a standard simulator for quantum gates. We discuss the structure of the compile...
متن کامل